The comparison theory of hod pairs below AD + + “ The largest Suslin cardinal is a member of the Solovay sequence ” ∗ † Grigor Sargsyan
نویسنده
چکیده
We develop the basic theory of hod mice below the Largest Suslin Axiom (LSA), which says that the largest Suslin cardinal is a member of the Solovay sequence. We also prove comparison theorem for such hod mice in the context of AD+. This is the first paper in planned sequence of three papers that eventually will establish that Mouse Set Conjecture holds provided there is no inner model satisfying LSA. Over the last two decades the Mouse Set Conjecture (MSC) has become one of the central open problems in inner model theory. One of the main reasons for this is that MSC is intimately connected with the inner model program, which is the program for constructing canonical inner models for large cardinals. Moreover, ∗2000 Mathematics Subject Classifications: 03E15, 03E45, 03E60. †
منابع مشابه
The comparison theory of hod pairs below AD + + “ The largest Suslin cardinal is a member of the Solovay sequence ” ∗ †
We develop the basic theory of hod mice below the Largest Suslin Axiom (LSA), which says that the largest Suslin cardinal is a member of the Solovay sequence. We also prove comparison theorem for such hod mice in the context of AD+. This is the first paper in planned sequence of three papers that eventually will establish that Mouse Set Conjecture holds provided there is no inner model satisfyi...
متن کاملThe analysis of HOD below the theory AD + + “ The largest
The main contribution of this paper is a the analysis of HOD below the theory AD+ + “The largest Suslin cardinal is a member of the Solovay sequence”. It is shown that below the aforementioned theory, HOD of models of AD+ are fine structural models and hence, satisfy GCH. We also show that the aforementioned theory is consistent relative to a Woodin cardinal which is a limit of Woodin cardinals...
متن کاملA Model of the Axiom of Determinacy in Which Every Set of Reals Is Universally Baire (draft)
The consistency of the theory ZF+AD+“every set of reals is universally Baire” is proved relative to ZFC + “there is a cardinal λ that is a limit of Woodin cardinals and of strong cardinals.” The proof is based on the derived model construction, which was used by Woodin to show that the theory ZF+AD+“every set of reals is Suslin” is consistent relative to ZFC+“there is a cardinal λ that is a lim...
متن کاملInner Models and Ultrafilters in L(R)
We present a characterization of supercompactness measures for ω1 in L(R), and of countable products of such measures, using inner models. We give two applications of this characterization, the first obtaining the consistency of δ13 = ω2 with ZFC+AD , and the second proving the uniqueness of the supercompactness measure over Pω1 (λ) in L(R) for λ > δ21. Starting with the work of Steel [13] it b...
متن کاملHod Mice and the Mouse Set Conjecture
We develop the theory of hod mice below ADR + “Θ is regular”. We use this theory to show that HOD of the minimal model of ADR + “Θ is regular” satisfies GCH. Moreover, we show that the Mouse Set Conjecture is true in the minimal model of ADR + “Θ is regular”. Received by the editor Received June 7, 2011 and, in revised form, March 27, 2014. Article electronically published on November 6, 2014. ...
متن کامل